<body>
	Provides codecs for dealing with dominance constraints and
	dominance graphs. The following codecs are currently defined:
	<ul>
		<li>domcon-oz (input, output): dominance constraints represented
		as Mozart/Oz terms, as in the old CHORUS demo;</li>
	</ul>
</body>